具有时间变化效应的信度模型

利用信度理论方法研究了具有时间变化效应的风险保费的估计问题.结论表明,具有时间变化效应的信度模型,其信度估计仍然是个体索赔数据与聚合保费的加权平均,且信度因子依赖时间变化效应,从而推广了经典的信度原理     

Lp-混合投影体的Shephard问题与Minkowski-Funk变换

推广了Rn中凸体K的i-曲率函数fi(K,·)(i=0,1,…,n-1)和Lp-曲率函数fp(K,·)(p≥1)的概念,引进了Rn中凸体K的L-混合曲率函数f(K,.)(i=0,1,…,n-1,p≥1)的概念,研究了L-混合投影体Πp,iKΠp,iL是否一定>Wi(K)≤Wi(L),当1≤p相似文献   

利用投影时序逻辑的多内核进程调度建模与验证

针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来验证系统是否具备该性质.以2内核处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可验证多内核处理器进程调度的系统性质,保证多内核进程调度的可靠性.由于多内核处理器的进程调度具备了并发系统的主要特点,因此该方法也适用于一般的并发系统验证.     

北江流域历年洪水强度大小的比较研究

以北江流域石角站为研究对象,利用目标转换式将投影寻踪模型的约束去除,并通过人工鱼群优化算法的自适应搜索,寻找到最优投影向量。结果表明:人工鱼群优化的无约束投影寻踪模型进行洪水强度大小比较时,有利于人工鱼群算法优化性能的发挥,并且所得的结果与实际情况相符。其中,北江流域石角站2006年的洪水是1954-2006年53 a强度最大的洪水,此外1964、1966、1968、1982、1994和1997年的洪水强度也较大,仅次于2006年。这说明北江流域的洪水情势不容轻视,要加强北江流域的防洪工作,确保北江大堤的防洪能力。     

求解非线性不等式组的有限步终止算法

利用广义投影技术,提出了一个求解非线性不等式组的新算法.在算法的每一次迭代中,搜索方向仅由一个公式即可产生,从而计算量相对较小,并且在相对较弱的假设条件下,算法具有全局收敛性和有限步终止性.最后的数值试验表明提出的算法是有效的.     

概念整合理论对英语新闻标题中双关语的认知阐释

概念整合理论通过研究语言的生成过程来解释人类的思维模式。借助该理论,对英语新闻标题中双关语的意义构建进行动态分析,并得出结论:人们在理解标题中双关语的时候,往往会进行构建、完善和扩展等一系列认知活动,将双关语中所隐含的意义进行整合,然后将其投射到现实中,最终得出新的意义。由此可见,概念整合理论能够较为细致地描述、阐释读者解读标题双关语的相关心理机制,为研究标题双关语的意义构建开拓了更广阔的前景。     

基于混合投影峰分析的人眼定位方法

利用灰度投影曲线检测预处理后的人脸图像眉眼区域,并分割左右眼区域;结合梯度投影和方差投影函数构造区域混合投影函数,分别对左右眼区域进行混合投影;分析一系列的投影峰,筛选后得到眼睛中心的准确位置.在ORL和BioID人脸库上的实验表明：在姿态和光照变化较大及佩戴眼镜的情况下,利用混合投影函数峰分析定位眼睛的结果优于单个投影曲线.     

正定式几何规划的一类共轭投影梯度算法

针对等式约束的正定几何规划问题,给出了一类共轭投影梯度算法,并在适当的条件下证明了算法的全局收敛性.     

二元函数凹凸性的判别法及最值探讨

凹(凸)函数是讨论函数性态时经常遇到的重要概念.将一元函数的凹凸性推广到二元函数上,讨论了二元函数凹凸性的几个判别法,给出了二元凹(凸)函数的最小(大)值的求法.     

相容双有限Domain的几个性质

在相容双有限domain概念及其等价性质的基础上,证明了几个与相容双有限domain相关的结论：相容双有限domain在Scott连续映射下的像仍是相容双有限domain;相容双有限domain的非空Scott闭子集仍是相容双有限domain等.